Mixing MIR inequalities with two divisible coefficients

This paper is a polyhedral study of a generalization of the mixing set where two different, divisible coefficients are allowed for the integral variables. Our results generalize earlier work on mixed integer rounding, mixing, and extensions. They also directly apply to applications such as production planning problems involving lower bounds or start-ups on production, when these are modeled as mixed-integer linear programs. We define a new class of valid inequalities and give two proofs that they suffice to describe the convex hull of this mixed-integer set. We give a characterization of each of the maximal faces of the convex hull, as well as a closed form description of its extreme points and rays, and show how to separate over this set in O(n logn). Finally, we give several extended formulations of polynomial size, and study conditions under which adding certain simple constraints on the integer variables preserves our main result.